How to alias an annotated type